COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Public Relations Department)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 49 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 49

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 2; NOFILL  CENTER
Sincerely,
.SKIP 5
Douglas B. Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Public Relations Department)
Institut de Recherche d'Informatique
Domaine de Volceau
78150 Le Chesnay, France
.FAC
Dear Sirs,

	I submitted a draft of my paper,
%2Synthesis of Large Programs From Specific Dialogues%*,
for the 
International Symposium on Proving and Improving Programs.
The paper dealt with aspects of my research here at the Stanford A.I. Lab, in
representation of knowledge suitable for automatic programming.

	My financial situation may preclude me from attending, however, and I
am therefore interested in any travel grant program you might have or be aware of.
Detailed information
and/or an application form for travel
funds would be appreciated.  
If there is any difficulty  with the above request or with refereeing my paper,
please call me (collect) 415-329-1031, or write me at the following address:
.BEGIN NOFILL CENTER
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Computer Science Department
	Stanford University
	Stanford, California  94305, USA
.END
Thank you for your consideration; I hope to hear from you soon.

.DBL